1. Advances in Database Technology - EDBT '94 :
پدیدآورنده : edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994
2. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
3. Computer semantics; studies of algorithms, processors, and languages
پدیدآورنده : Lee, John A. N.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Algorithms,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
6
.
L38
4. Mathematical Foundations of Computer Science 1986 :
پدیدآورنده : edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA267
.
E358
1986
5. Semantic techniques in quantum computation /
پدیدآورنده : edited by Simon Gay, Ian Mackie.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
رده :
QA76
.
889
.
S36
2010
6. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
7. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
8. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
9. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده : edited by Hélène Kirchner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996
